21. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده : / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursive functions
رده :
515
.
25
S989
1972
22. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
23. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
24. Higher recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory. ;
25. Recursion theory
پدیدآورنده : Shoenfield, Joseph R.)Joseph Robert(
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert, 7291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
1
27. Recursion theory
پدیدآورنده : edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
28. Recursion theory
پدیدآورنده : / Joseph R. Shoenfield
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory
رده :
QA9
.
6
.
S48
2001
29. Recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
30. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
31. Recursion theory and computational complexity
پدیدآورنده : G . Lolli)ED(
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع :
رده :
QA
9
,.
6
.
R4
2010
32. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
33. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
34. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده : K. Ambos-Spies, G. H. Muller, G. E. Sacks )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1432
35. Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
36. Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
37. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
38. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
39. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
40. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
